Programming tool

Results: 791



#Item
51Logic in computer science / Mathematical proofs / Mathematical induction / Structural induction / Binary tree / Exponentiation / Trace / Markov number

BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2016-05-19 17:18:34
52Simulation software / Simulation / Visual programming languages / AgentSheets / Cross-platform software / Alexander Repenning / Computer virus / Instructional simulation / Virus / Kodu Game Lab

56 Building a Simulation of the Spread of a Virus Using the AgentSheets simulation-authoring tool Alexander Repenning, Andri Ioannidou, and Jonathan Phillips

Add to Reading List

Source URL: www.cs.colorado.edu

Language: English - Date: 1999-12-08 13:29:07
53Software testing / Program analysis / Software review / Concurrent programming languages / Cross-platform software / Static program analysis / Dynamic program analysis / Programming tool / Lint / Application security / Software quality / Java

http://www.stickyminds.com/BetterSoftware/magazine.asp?fn=cifea

Add to Reading List

Source URL: www.agitar.com

Language: English - Date: 2011-06-20 15:01:26
54Cross-platform software / Geographic information systems / GeoServer / Ruby on Rails / Qt / Eclipse / Perl / Linux / Programming tool

MeteoStar Careers Title: Senior Web Software Engineer Category: Engineering Location: Englewood, CO

Add to Reading List

Source URL: www.meteostar.com

Language: English - Date: 2012-06-06 06:05:36
55Educational psychology / Distance education / Educational technology / Information technology / Programming tool / Software development process / Social information processing

Software Carpentry Assessment Report Jorge Aranda July 4th, 2012 Contents

Add to Reading List

Source URL: software-carpentry.org

Language: English - Date: 2016-01-06 07:02:59
56Visual programming languages / Simulation software / AgentSheets / Artificial intelligence / Cross-platform software / Alexander Repenning

From Games to Science AgentSheets: an end-user tool for designing and building your own games and simulations The Science Crisis It is estimated that by 2010, if current trends continue, more than

Add to Reading List

Source URL: agentsheets.com

Language: English - Date: 2008-10-28 13:06:48
57Logic in computer science / Mathematical proofs / Mathematical induction / Structural induction / Binary tree / Exponentiation / Trace / Markov number

BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2011-09-03 11:02:00
58Scripting languages / Tcl / Snit / LabWindows/CVI / Tk / Programming tool / Ns / Ical

Still TCL after all these years - public

Add to Reading List

Source URL: www.eurotcl.tcl3d.org

Language: English - Date: 2015-01-05 17:33:44
59Humancomputer interaction / End-user development / Software / Adaptation / Usability / User interface / User / Computing / Participatory design / Programming tool / Informatics / Application software

IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART A: SYSTEMS AND HUMANS, VOL. 37, NO. 6, NOVEMBERVisual Interactive Systems for End-User Development: A Model-Based Design Methodology

Add to Reading List

Source URL: ivu.di.uniba.it

Language: English - Date: 2010-11-18 12:36:20
60Texas Instruments / Embedded systems / Code Composer Studio / Microcontrollers / Debugging / TI MSP430 / Programming tool / Debugger / Integrated development environment / JavaScript

Content Summary • This presentation is split into different sections so that it can be used for multiple purposes • Section 1: General Overview • Section 2: Targeted at existing CCS users and why they should upgrad

Add to Reading List

Source URL: processors.wiki.ti.com

Language: English - Date: 2010-02-04 13:42:56
UPDATE